perm filename ZOHAR[F75,JMC] blob
sn#195390 filedate 1976-01-08 generic text, type T, neo UTF8
NIL
(DEFPROP VUIL
(LAMBDA(X Y)
(IF (EQUAL X (QUOTE 0.))
(ADD1 Y)
(IF (EQUAL Y (QUOTE 0.)) (VUIL (SUB1 X) (QUOTE 1.)) (VUIL (SUB1 X) (VUIL X (SUB1 Y))))))
EXPR)
NIL
(OEVAL2 REVAL2)
(VUIL (QUOTE 2.) (QUOTE 1.))
ENTER REVAL2:
! E = (VUIL (QUOTE 2.) (QUOTE 1.))
! A = NIL
! ENTER REVAL2:
! ! E = (VUIL (SUB1 X) (VUIL X (SUB1 Y)))
! ! A = ((X (QUOTE 2.) NIL) (Y (QUOTE 1.) NIL))
! ! ENTER REVAL2:
! ! ! E = (VUIL X (SUB1 Y))
! ! ! A = ((X (QUOTE 2.) NIL) (Y (QUOTE 1.) NIL))
! ! ! ENTER REVAL2:
! ! ! ! E = (VUIL (SUB1 X) (QUOTE 1.))
! ! ! ! A = ((X (QUOTE 2.) NIL) (Y (QUOTE 0.) NIL) (X (QUOTE 2.) NIL) (Y (QUOTE 1.) NIL))
! ! ! ! ENTER REVAL2:
! ! ! ! ! E = (VUIL (SUB1 X) (VUIL X (SUB1 Y)))
! ! ! ! ! A = ((X (QUOTE 1.) NIL) (Y (QUOTE 1.) NIL) (X (QUOTE 2.) NIL) (Y (QUOTE 0.) NIL) (X (QUOTE 2.)→
NIL) (Y (QUOTE 1.) NIL))
! ! ! ! ! ENTER REVAL2:
! ! ! ! ! ! E = (VUIL X (SUB1 Y))
! ! ! ! ! ! A = ((X (QUOTE 1.) NIL) (Y (QUOTE 1.) NIL) (X (QUOTE 2.) NIL) (Y (QUOTE 0.) NIL) (X (QUOTE →
2.) NIL) (Y (QUOTE 1.) NIL))
! ! ! ! ! ! ENTER REVAL2:
! ! ! ! ! ! ! E = (VUIL (SUB1 X) (QUOTE 1.))
! ! ! ! ! ! ! A = ((X (QUOTE 1.) NIL) (Y (QUOTE 0.) NIL) (X (QUOTE 1.) NIL) (Y (QUOTE 1.) NIL) (X (QUO→
TE 2.) NIL) (Y (QUOTE 0.) NIL) (X (QUOTE 2.) NIL) (Y (QUOTE 1.) NIL))
! ! ! ! ! ! REVAL2 = 2.
! ! ! ! ! REVAL2 = 2.
! ! ! ! REVAL2 = 3.
! ! ! REVAL2 = 3.
! ! REVAL2 = 3.
! ! ENTER REVAL2:
! ! ! E = (VUIL (SUB1 X) (VUIL X (SUB1 Y)))
! ! ! A = ((X (QUOTE 1.) NIL) (Y (QUOTE 3.) NIL) (X (QUOTE 2.) NIL) (Y (QUOTE 1.) NIL))
! ! ! ENTER REVAL2:
! ! ! ! E = (VUIL X (SUB1 Y))
! ! ! ! A = ((X (QUOTE 1.) NIL) (Y (QUOTE 3.) NIL) (X (QUOTE 2.) NIL) (Y (QUOTE 1.) NIL))
! ! ! ! ENTER REVAL2:
! ! ! ! ! E = (VUIL (SUB1 X) (VUIL X (SUB1 Y)))
! ! ! ! ! A = ((X (QUOTE 1.) NIL) (Y (QUOTE 2.) NIL) (X (QUOTE 1.) NIL) (Y (QUOTE 3.) NIL) (X (QUOTE 2.)→
NIL) (Y (QUOTE 1.) NIL))
! ! ! ! ! ENTER REVAL2:
! ! ! ! ! ! E = (VUIL X (SUB1 Y))
! ! ! ! ! ! A = ((X (QUOTE 1.) NIL) (Y (QUOTE 2.) NIL) (X (QUOTE 1.) NIL) (Y (QUOTE 3.) NIL) (X (QUOTE →
2.) NIL) (Y (QUOTE 1.) NIL))
! ! ! ! ! ! ENTER REVAL2:
! ! ! ! ! ! ! E = (VUIL (SUB1 X) (VUIL X (SUB1 Y)))
! ! ! ! ! ! ! A = ((X (QUOTE 1.) NIL) (Y (QUOTE 1.) NIL) (X (QUOTE 1.) NIL) (Y (QUOTE 2.) NIL) (X (QUO→
TE 1.) NIL) (Y (QUOTE 3.) NIL) (X (QUOTE 2.) NIL) (Y (QUOTE 1.) NIL))
! ! ! ! ! ! ! ENTER REVAL2:
! ! ! ! ! ! ! ! E = (VUIL X (SUB1 Y))
! ! ! ! ! ! ! ! A = ((X (QUOTE 1.) NIL) (Y (QUOTE 1.) NIL) (X (QUOTE 1.) NIL) (Y (QUOTE 2.) NIL) (X (→
QUOTE 1.) NIL) (Y (QUOTE 3.) NIL) (X (QUOTE 2.) NIL) (Y (QUOTE 1.) NIL))
! ! ! ! ! ! ! ! ENTER REVAL2:
! ! ! ! ! ! ! ! ! E = (VUIL (SUB1 X) (QUOTE 1.))
! ! ! ! ! ! ! ! ! A = ((X (QUOTE 1.) NIL) (Y (QUOTE 0.) NIL) (X (QUOTE 1.) NIL) (Y (QUOTE 1.) NIL) (→
X (QUOTE 1.) NIL) (Y (QUOTE 2.) NIL) (X (QUOTE 1.) NIL) (Y (QUOTE 3.) NIL) (X (QUOTE 2.) NIL) (Y (QUOTE 1.) NIL)→
)
! ! ! ! ! ! ! ! REVAL2 = 2.
! ! ! ! ! ! ! REVAL2 = 2.
! ! ! ! ! ! REVAL2 = 3.
! ! ! ! ! REVAL2 = 3.
! ! ! ! REVAL2 = 4.
! ! ! REVAL2 = 4.
! ! REVAL2 = 5.
! REVAL2 = 5.
REVAL2 = 5.
(5. 168. 14.)
ENTER OEVAL2:
! E = (VUIL (QUOTE 2.) (QUOTE 1.))
! A = NIL
! ENTER OEVAL2:
! ! E = (VUIL (SUB1 X) (VUIL X (SUB1 Y)))
! ! A = ((X . 2.) (Y . 1.))
! ! ENTER OEVAL2:
! ! ! E = (VUIL X (SUB1 Y))
! ! ! A = ((X . 2.) (Y . 1.))
! ! ! ENTER OEVAL2:
! ! ! ! E = (VUIL (SUB1 X) (QUOTE 1.))
! ! ! ! A = ((X . 2.) (Y . 0.) (X . 2.) (Y . 1.))
! ! ! ! ENTER OEVAL2:
! ! ! ! ! E = (VUIL (SUB1 X) (VUIL X (SUB1 Y)))
! ! ! ! ! A = ((X . 1.) (Y . 1.) (X . 2.) (Y . 0.) (X . 2.) (Y . 1.))
! ! ! ! ! ENTER OEVAL2:
! ! ! ! ! ! E = (VUIL X (SUB1 Y))
! ! ! ! ! ! A = ((X . 1.) (Y . 1.) (X . 2.) (Y . 0.) (X . 2.) (Y . 1.))
! ! ! ! ! ! ENTER OEVAL2:
! ! ! ! ! ! ! E = (VUIL (SUB1 X) (QUOTE 1.))
! ! ! ! ! ! ! A = ((X . 1.) (Y . 0.) (X . 1.) (Y . 1.) (X . 2.) (Y . 0.) (X . 2.) (Y . 1.))
! ! ! ! ! ! OEVAL2 = 2.
! ! ! ! ! OEVAL2 = 2.
! ! ! ! OEVAL2 = 3.
! ! ! OEVAL2 = 3.
! ! OEVAL2 = 3.
! ! ENTER OEVAL2:
! ! ! E = (VUIL (SUB1 X) (VUIL X (SUB1 Y)))
! ! ! A = ((X . 1.) (Y . 3.) (X . 2.) (Y . 1.))
! ! ! ENTER OEVAL2:
! ! ! ! E = (VUIL X (SUB1 Y))
! ! ! ! A = ((X . 1.) (Y . 3.) (X . 2.) (Y . 1.))
! ! ! ! ENTER OEVAL2:
! ! ! ! ! E = (VUIL (SUB1 X) (VUIL X (SUB1 Y)))
! ! ! ! ! A = ((X . 1.) (Y . 2.) (X . 1.) (Y . 3.) (X . 2.) (Y . 1.))
! ! ! ! ! ENTER OEVAL2:
! ! ! ! ! ! E = (VUIL X (SUB1 Y))
! ! ! ! ! ! A = ((X . 1.) (Y . 2.) (X . 1.) (Y . 3.) (X . 2.) (Y . 1.))
! ! ! ! ! ! ENTER OEVAL2:
! ! ! ! ! ! ! E = (VUIL (SUB1 X) (VUIL X (SUB1 Y)))
! ! ! ! ! ! ! A = ((X . 1.) (Y . 1.) (X . 1.) (Y . 2.) (X . 1.) (Y . 3.) (X . 2.) (Y . 1.))
! ! ! ! ! ! ! ENTER OEVAL2:
! ! ! ! ! ! ! ! E = (VUIL X (SUB1 Y))
! ! ! ! ! ! ! ! A = ((X . 1.) (Y . 1.) (X . 1.) (Y . 2.) (X . 1.) (Y . 3.) (X . 2.) (Y . 1.))
! ! ! ! ! ! ! ! ENTER OEVAL2:
! ! ! ! ! ! ! ! ! E = (VUIL (SUB1 X) (QUOTE 1.))
! ! ! ! ! ! ! ! ! A = ((X . 1.) (Y . 0.) (X . 1.) (Y . 1.) (X . 1.) (Y . 2.) (X . 1.) (Y . 3.) (X . →
2.) (Y . 1.))
! ! ! ! ! ! ! ! OEVAL2 = 2.
! ! ! ! ! ! ! OEVAL2 = 2.
! ! ! ! ! ! OEVAL2 = 3.
! ! ! ! ! OEVAL2 = 3.
! ! ! ! OEVAL2 = 4.
! ! ! OEVAL2 = 4.
! ! OEVAL2 = 5.
! OEVAL2 = 5.
OEVAL2 = 5.
(5. 150. 14.)